Logical Methodology

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A A Logical Verification Methodology for Service-Oriented Computing

ALESSANDRO FANTECHI, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze STEFANIA GNESI, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI CNR, Pisa ALESSANDRO LAPADULA, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze FRANCO MAZZANTI, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, ISTI CNR, Pisa ROSARIO PUGLIESE, Di...

متن کامل

General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus∗

There is a programme in the formal foundations of fuzzy mathematics proposed by the authors, the goal of which is to encompass a large part of existing fuzzy mathematics within a general logical formalism. This paper presents the methodology behind this programme and reviews the technical aspects of a particular apparatus for this enterprise.

متن کامل

Soft Error Reduction of Logical Circuits by Using RAR Methodology

Due to shrinking feature sizes and decreasing supply voltages in current technology scaling trends, the reliability of circuit would be affected by radiation induced particle hits. Nowadays soft errors are main factor in reliability degradation of logic circuits, which have been a great concern in memories also. Here, we present a systematic and integrated methodology for circuit robustness to ...

متن کامل

Methodology of extraction, optimization and application of logical rules

Methodology of extraction, optimization and application of sets of logical rules is described. The three steps are largely independent. Neural networks are used for initial rule extraction, local or global minimization procedures for optimization, and Gaussian uncertainties of measurements are assumed during application of logical rules. A tradeoff between rejection/error level is discussed. Th...

متن کامل